
%\newcommand{\TODO}[1]{\textbf{[TODO: #1]}}
\newcommand{\TODO}[1]{}

%\newcommand{\openi}[1]{\textbf{[Open Issue: #1]}}
\newcommand{\openi}[1]{}

\newcommand{\pII}[1]{}
%\newcommand{\pII}[1]{#1}
\newcommand{\pI}[1]{#1}

\newcommand{\code}[1]{\texttt{#1}}
\newcommand{\cmdline}[1]{\texttt{#1}}

\newcommand{\keyw}[1]{\code{\textbf{#1}}}

\newcommand{\nterm}[1]{\textit{#1}}
\newcommand{\ntermopt}[1]{$\textit{#1}_\textit{opt}$}
\newcommand{\ntermdef}[1]{\textit{#1:}}
\newcommand{\seq}[1]{\textit{\{}#1\textit{\}}}
\newcommand{\opt}[1]{\textit{[}#1\textit{]}}
\newcommand{\alt}{$\mid$~}

\newcommand{\oneof}{\textit{one of}}

\newcommand{\defspace}{\hspace{1cm}}

%
% frequently used language keywords 
% 
\newcommand{\with}{\keyw{with}}
\newcommand{\extend}{\keyw{extend}}
\newcommand{\new}{\keyw{new}}
\newcommand{\match}{\keyw{match}}
\newcommand{\fn}{\keyw{fn}}

%
% ASCII symbols from the semantic package
%
\mathlig{=>}{\Rightarrow}
\mathlig{<-}{\leftarrow}
\mathlig{==>}{\Longrightarrow}
\mathlig{|-}{\vdash}
